]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b801370) | patch
extensionSystem: Fix extension reloading
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 14 Mar 2023 11:57:43 +0000 (12:57 +0100)
committerMarge Bot <marge-bot@gnome.org>
Sun, 19 Mar 2023 13:26:30 +0000 (13:26 +0000)
commit0b8114ba523f2dcf455beb75196e1ef2059a5f3f
treeedae092592533b4dd0ce50413e43644a73de0f13tree | snapshot
parentb8013704cffbdedd2f82bcf38a556c6a74754615commit | diff
extensionSystem: Fix extension reloading

Unloading an extension has become an async operation, but we aren't
awaiting the result. That means that we recreate the extension
object *before* we remove the "old" extension object from the map,
with the effect that the reloaded extension is removed completely.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6507

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2694>
js/ui/extensionSystem.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.